No . CS - TR - 1347 August 2012
نویسندگان
چکیده
These are the Proceedings of the Workshop on Trustworthy Cyber-Physical Systems run on September 3, 2012 in conjunction with CONCUR 2012. For more information see: http://www.staff.ncl.ac.uk/terrence.mak/TCPS/Workshop.html © 2012 Newcastle University. Printed and published by Newcastle University, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details FITZGERALD, J., MAK, T., ROMANOVSKY, A., YAKOVLEV, A. (EDS.) Workshop Proceedings: Trustworthy Cyber-Physical Systems [By] J. Fitzgerald, T. Mak, A. Romanovsky, A. Yakovlev (Eds.) Newcastle upon Tyne: Newcastle University: Computing Science, 2012. (Newcastle University, Computing Science, Technical Report Series, No. CS-TR-1347)
منابع مشابه
WPI - CS - TR - 99 - 21 August 1999 An Oun e of Prevention is Worth A Pound of Cure : Formal Veri ation for Consistent Database
متن کامل
Purkinje cell spike firing in the posterolateral cerebellum: correlation with visual stimulus, oculomotor response, and error feedback.
Complex (CS)- and simple-spike (SS) discharge from single Purkinje cells (Pc) in the posterolateral cerebellum of two monkeys was recorded during a visually guided reach-touch task. A visual target appeared (TA) off-gaze at a random location on a screen. On initiation of arm reach, the target disappeared, then reappeared (TR) after a fixed delay. TR was either at the same location (baseline con...
متن کاملGastrointestinal nematode larvae in the grazing land of cattle in Guwahati, Assam
AIM To know the prevalence of gastrointestinal nematode larvae (L3) in the grazing land of cattle in Guwahati, Kamrup district, Assam. MATERIALS AND METHODS Pastures were collected and examined for the presence of nematode larvae (L3) from six localities of Guwahati at monthly interval from August 2012 to July 2013. The counted larvae were then expressed as per kg dry matter of herbage (L3/kg...
متن کاملEffect of mode of delivery on postnatal decline in pulmonary artery pressure.
OBJECTIVE To evaluate the effect of the mode of delivery on the course of pulmonary artery pressure (PAP) in neonates. METHODS Eighty healthy and term neonates delivered in the maternity wards of Dunya Maternity Hospital, Camlica Maternity Center, and Sultan Maternity Hospital in Diyarbakir, Turkey from June to August 2009 were included in the study. Tricuspid regurgitation (TR) was determine...
متن کاملNo . CS - TR - 1153 June , 2009
This report documents work presented at the First Trust Economics Workshop, held on June 23rd 2009 at University College London (UCL), UK, in conjunction with the Eighth Workshop on the Economics of Information Security (WEIS) 2009. © 2009 University of Newcastle upon Tyne. Printed and published by the University of Newcastle upon Tyne, Computing Science, Claremont Tower, Claremont Road, Newcas...
متن کامل